$\forall$$T$:Type, $L$:($T$ List). [] $\subseteq$ $L$